Der physikalische Sachverhalt lässt sich durch einen Kraftansatz beschreiben. Die rücktreibende Kraft, die die Masse m beschleunigt, ist hier die Federkraft :

Zunächst werden die Startwerte und Konstanten festgelegt:

Mit Hilfe des Hookschen Gesetzes und der Grundgleichung der Mechanik können nun die Beschleunigung a, die Geschwindigkeit v und der Ort y iterativ berechnet werden:

Diese Überlegungen müssen nun entweder direkt in ein Kernprogramm innerhalb des Softwaresystems PAKMA umgesetzt werden (s. Kapitel 3.8.1.3) oder mit Hilfe des graphischen Editors VisEdit modelliert und anschließend das Kernprogramm automatisch vom Editor erzeugt werden (s. Kapitel 3.8.1.2) . Dabei ist es für Novizen, die noch nicht so geübt sind im Umgang mit der Programmierung in PAKMA, im Allgemeinen wesentlich einfacher die physikalische Situation zunächst graphisch zu modellieren und das Ergebnis ihrer Modellbildung automatisch in ein Kernprogramm umsetzen zu lassen und an Hand der Simulation dieses zu überprüfen. Außerdem stehen bei VisEdit mehrere unterschiedliche Näherungsverfahren zur Verfügung.